This paper discusses a model-based approach to testing as a vital part ofsoftware development. It argues that an approach using models as centraldevelopment artifact needs to be added to the portfolio of software engineeringtechniques, to further increase efficiency and flexibility of the developmentas well as quality and reusability of results. Then test case modeling isexamined in depth and related to an evolutionary approach to modeltransformation. A number of test patterns is proposed that have proven helpfulto the design of testable object-oriented systems. In contrast to otherapproaches, this approach uses explicit models for test cases instead of tryingto derive (many) test cases from a single model.
展开▼